Minor change also needed in vcpu.c for guests to own ar.kr's.

diff --git a/xen/arch/ia64/xen/vcpu.c b/xen/arch/ia64/xen/vcpu.c
index 5e2a92d5ac74ba308aee39db7da438f093cee0ad..dcce55759ea882c692c15559b5be1026e2810544 100644 (file)
--- a/xen/arch/ia64/xen/vcpu.c
+++ b/xen/arch/ia64/xen/vcpu.c
@@ -134,7 +134,10 @@ IA64FAULT vcpu_set_ar(VCPU *vcpu, UINT64 reg, UINT64 val)
        else if (reg == 24)
            printf("warning: setting ar.eflg is a no-op; no IA-32 support\n");
        else if (reg > 7) return (IA64_ILLOP_FAULT);
-       else PSCB(vcpu,krs[reg]) = val;
+       else {
+               PSCB(vcpu,krs[reg]) = val;
+               ia64_set_kr(reg,val);
+       }
        return IA64_NO_FAULT;
 }